Pi-Calculus: A Unifying Framework for Programming Paradigms
نویسنده
چکیده
π-calculus is a calculus for modeling dynamically changing configurations of a network of communicating agents. This paper studies the suitability of π-calculus as a unifying framework to model the operational semantics of the three paradigms of programming: functional, logic and imperative paradigms. In doing so, the attempt is to demonstrate that π-calculus models a primitive that is pervasive in the three paradigms and to illustrate that the three forms of sequential computing are special instances of concurrent computing. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-93-81. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/603 T-calculus: A Unifying Framework for Programming Paradigms MS-CIS-93-81 LINC LAB 256
منابع مشابه
Multi-paradigm Logic Programming Integrating Paradigms via Interaction Nets (extended Abstract)
In this paper we begin a study of the integration of programming paradigms using Lafont's interaction nets as a unifying framework. Interaction nets are a very simple kind of rewrite system based on rewriting of networks. Because of their linear logic foundation they give a reened view of computation; they have been used for the implementation of programming languages based on the-calculus, and...
متن کاملA Tutorial Introduction to Designs in Unifying Theories of Programming
In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. A key concept in their programme is the design: the familiar precondition-postcondition pair that describes the contract between a programmer and a client. We give a tutorial introduction t...
متن کاملMobile Processes in Unifying Theories
This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems. The mathematical basis for the work is Hoare and He’s Unifying Theories of Programming (UTP), where the alphabetised relational calculus is used to provide a common framework for the semantics and refinement calculus of different programming...
متن کاملComputer Science at Kent Mobile Processes in Unifying Theories
This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems. The mathematical basis for the work is Hoare and He’s Unifying Theories of Programming (UTP), where the alphabetised relational calculus is used to provide a common framework for the semantics and refinement calculus of different programming...
متن کاملA Tutorial Introduction to CSP in Unifying Theories of Programming
In their Unifying Theories of Programming, Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. We give a tutorial introduction to the semantics of CSP processes. We start with a summarised introduction of the alphabetised relational calculus and the theory of designs, which are preconditio...
متن کامل